Normal Measures and Strongly Compact Cardinals
نویسندگان
چکیده
We prove four theorems concerning the number of normal measures a non-(κ+ 2)-strong strongly compact cardinal κ can carry.
منابع مشابه
Tall , Strong , and Strongly Compact Cardinals ∗ † Arthur
We construct three models in which there are different relationships among the classes of strongly compact, strong, and non-strong tall cardinals. In the first two of these models, the strongly compact and strong cardinals coincide precisely, and every strongly compact/strong cardinal is a limit of non-strong tall cardinals. In the remaining model, the strongly compact cardinals are precisely c...
متن کاملOn the indestructibility aspects of identity
We investigate the indestructibility properties of strongly compact cardinals in universes where strong compactness suffers from identity crisis. We construct an iterative poset that can be used to establish Kimchi-Magidor theorem from [22], i.e., that the first n strongly compact cardinals can be the first n measurable cardinals. As an application, we show that the first n strongly compact car...
متن کاملA Note on Strong Compactness and Supercompactness
In this note, we provide a new proof of Magidor's theorem that the least strongly compact cardinal can be the least supercompact cardinal. A classical theorem of Magidor [5] states that it is consistent, relative to the existence of a supercompact cardinal, for the least supercompact cardinal to be the least strongly compact cardinal. There are currently two different proofs of this fact—the or...
متن کاملGap forcing: Generalizing the Lévy-Solovay theorem
The Levy-Solovay Theorem [LevSol67] limits the kind of large cardinal embeddings that can exist in a small forcing extension. Here I announce a generalization of this theorem to a broad new class of forcing notions. One consequence is that many of the forcing iterations most commonly found in the large cardinal literature create no new weakly compact cardinals, measurable cardinals, strong card...
متن کاملOn the Strong Equality between Supercompactness and Strong Compactness
We show that supercompactness and strong compactness can be equivalent even as properties of pairs of regular cardinals. Specifically, we show that if V |= ZFC + GCH is a given model (which in interesting cases contains instances of supercompactness), then there is some cardinal and cofinality preserving generic extension V [G] |= ZFC + GCH in which, (a) (preservation) for κ ≤ λ regular, if V |...
متن کامل